Skip to content

Conversation

@marskingx
Copy link

No description provided.

@philipto philipto merged commit 71bf437 into JetBrains:master Feb 2, 2026
@philipto
Copy link
Collaborator

philipto commented Feb 2, 2026

@marskingx Thank you for your patience while waiting for a review and processing your request. Pull request merged. Please start applying for JetBrains educational subscription at https://www.jetbrains.com/shop/eform/students in an hour, to allow the changes to propagate through JetBrains systems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants